A Formal Model of Dataflow Repositories
نویسندگان
چکیده
Dataflow repositories are databases containing dataflows and their different runs. We propose a formal conceptual data model for such repositories. Our model includes careful formalisations of such features as complex data manipulation, external service calls, subdataflows, and the provenance of output values.
منابع مشابه
Mapping the NRC Dataflow Model to the Open Provenance Model
The Open Provenance Model (OPM) has recently been proposed as an exchange framework for workflow provenance information. In this paper we show how the NRC data model for workflow repositories can be mapped to the OPM. Our mapping includes such features as complex data flow in an execution of a workflow; different workflows in the repository that call each other; and the tracking of subvalues of...
متن کاملAsynchronous Interaction between FSM and Dataflow Models
In this paper, we focus on communication protocols which integrate control modules and function modules. Among others, asynchronous interaction enables FSM model to control the scheduling of dataflow model and to change the parameters in the dataflow modules. Compared with previous approaches, the proposed technique supports formal specification for each component and provides protocols which i...
متن کاملTagged Dataflow: a Formal Model for Iterative Map-Reduce
In this paper, we consider the recent iterative extensions of the Map-Reduce framework and we argue that they would greatly benefit from the research work that was conducted in the area of dataflow computing more than thirty years ago. In particular, we suggest that the tagged-dataflow model of computation can be used as the formal framework behind existing and future iterative generalizations ...
متن کاملA Lightweight Dataflow Approach for Design and Implementation of SDR Systems
Model-based design methods based on dataflow models of computation are attractive for design and implementation of wireless communication systems because of their intuitive correspondence to communication system block diagrams, and the formal structure that is exposed through formal dataflow representations (e.g., see [2]). In this paper, we introduce a novel lightweight dataflow (LWDF) program...
متن کاملParameterized Modeling and Scheduling for Dataflow Graphs
Dataflow has proven to be an attractive computational model for programming DSP applications. A restricted version of dataflow, called Synchronous Dataflow (SDF) is particularly well-suited for modeling a large class of signal processing applications, as it offers strong formal properties and compile-time predictability. Efficient techniques have been developed for generating software implement...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007